Basic Bicategories
نویسنده
چکیده
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
منابع مشابه
Cauchy Characterization of Enriched Categories
A characterization is given of those bicategories which are biequivalent to bicategories of modules for some suitable base. These bicategories are the correct (non elementary) notion of cosmos, which is shown to be closed under several basic constructions.
متن کاملClassifying Spaces for Braided Monoidal Categories and Lax Diagrams of Bicategories
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. I...
متن کاملIntroduction to linear bicategories
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...
متن کاملCompact Closed Bicategories
Abstract. A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual “zig-zag” identities of a compact closed category only up to natural isomorphism, and the isomorphism is subject to a coherence law. We give several examples of compact closed bicategories, then review previous work. In particular, Day a...
متن کاملEquivalences in Bicategories
In this paper, we establish some connections between the concept of an equivalence of categories and that of an equivalence in a bicategory. Its main result builds upon the observation that two closely related concepts, which could both play the role of an equivalence in a bicategory, turn out not to coincide. Two counterexamples are provided for that goal, and detailed proofs are given. In par...
متن کامل